html, body {
	-webkit-font-smoothing:antialiased;
	margin: 0;
	padding: 0;
	font-family: 'Open Sans', sans-serif;
	font-size: 14px;
	min-width: 350px;
}

* {
	box-sizing: border-box;
}

a {
	color: inherit;
	text-decoration: none;
}

h1, h2, h3, h4 {
	color: #333;
}

pre, code {
	font-family: Monaco, Menlo,Consolas,"Courier New",monospace;

	font-size: 1em;
	line-height: 1.5em;
	border-radius: 0.5em;
	color: #333;
	background-color: #eee;
}

pre {
	padding: 1em;
}

code {
	padding: 0.25em;
}

.left {
	display: block;
	float: left;
	margin-right: 1em;
}

.right {
	display: block;
	float: right;
	margin-left: 1em;
}

.bar {
	display: block;
	overflow: auto;
}

.container {
	max-width: 800px;
	width: 85%;
	margin: 50px auto;
}

.container a {
	color: #60aff8;
}

.highlight {
	background: red !important;
	color: yellow !important;
}

.top-bar {
	font-size: 1.5em;
	font-weight: 400;
	padding: 10px 40px;
	color: white;
	background: #60aff8;
}

.hidden {
	display: none;
}

.big {
	font-size: 1.25em;
}

/* Module list */
.page-header {
	font-size: 1.5em;
}

.module {
	padding: 30px;
	background: #fafafa;
	margin: 40px 0;
	border-radius: 4px;
}

.module-title {
	font-size: 1.5em;
	font-weight: 500;
	color: #333;
	margin: 0;
}

.lesson {
	position: relative;
	background: #e0ebf5;
	padding: 0.5em 1em;
	border-radius: 0.5em;
	margin-bottom: 10px;
}

a.lesson-start {
	position: absolute;
	top: 0;
	right: 0;
	padding: 0.5em 2em;
	font-weight: 600;
	color: #fff;
	background: #60aff8;
	border-radius: 0 0.5em;
}

a.lesson-start:hover {
	background: #408fd8;
}

.lesson-title {
	font-weight: 600;
}

/* Module viewer */

.module-bar {
	font-size: 1.1em;
	font-weight: 500;
	padding: 5px 40px;
	background: #c6dff7;
}

.module-bar .right * {
	margin-left: 1em;
}

#editor-container {
	position: fixed;
	top: 78px;
	left: 0px;
	right: 0px;
	bottom: 0px;
	overflow: hidden;
	background: #fff;
}


.relative-content {
	position: relative;
	width: 100%;
	height: 100%;
}

#left-side {
	position: absolute;
	top: 0;
	bottom: 0;
	left: 0;
	width: 50%;
	overflow: hidden;

	background-image: url(/img/gopher.png);
	background-repeat: no-repeat;
	background-position: bottom;
	background-color: #fafafa;
}

.vertical-slide {
	position: absolute;
	top: 0px;
	bottom: 0px;
	width: 5px;
	background: #c6dff7;
	left: 50%;
	right: 50%;
	z-index: 100;
	cursor: move;
}

#right-side {
	position: absolute;
	top: 0;
	bottom: 0;
	right: 0;
	left: 50%;
	padding: 5px;
	padding-left: 15px;
	overflow: auto;
	background: #fff;
	outline: none;
}

#right-side a {
	color: #60aff8;
	font-weight: 600;
	text-decoration: none;
}

#top-part {
	position: absolute;
	left: 0;
	right: 0;
	top: 0;
	bottom: 33%; /* height of output */
	background: #e0ebf5;
}

#file-editor {
	position: absolute;
	left: 0;
	right: 0;
	top: 0;
	bottom: 0;
}

.horizontal-slide {
	position: absolute;
	left: 0;
	right: 0;
	bottom: 33%;
	height: 5px;
	background: #c6dff7;
	z-index: 100;
	cursor: move;
}

#bottom-part {
	position: absolute;
	left: 0;
	right: 0;
	bottom: 0;
	top: 67%;
	min-height: 100px;
	z-index: 50;
}

#explorer {
	position: absolute;
	top: 0;
	left: 0;
	height: 30px;
	width: 100%;
	padding-left: 24px;
	background: #e0ebf5;
}

#explorer + div {
	top: 30px;
}

#explorer .menu-button {
	display: inline-block;
	float:left;
	height: 30px;
}

#file-menu {
	position: absolute;
	top:0;
	right: 0;
	left: 0;
	background: #e0ebf5;
}

#file-menu .menu-button  {
	display: inline-block;
	float: right;
	height: 30px;
}

.menu-button {
	font-size: 13px;
	background: #f0f0f0;
	color: #333;
	text-decoration: none;
	padding: 5px 10px;
	cursor: pointer;
	margin-left: 1px;
	font-weight: 500;
}
.menu-button:hover  {
	color: #333;
	text-decoration: none;
	background: #eee;
}
.menu-button.active  {
	background: #fff;
	border-bottom: 0;
	color: black;
}


.output {
	position: absolute;
	top: 30px;
	bottom: 0;
	left: 0;
	right: 0;
	overflow: auto;
	font-family: "Lucida Console", Monaco, monospace;
	padding: 10px;
	background: rgba(255, 255, 255, 0.9);
}
.output:not(.active) {
	display: none;
}

.output .system {
	color: #888;
}

.output .stderr {
	color: #D00A0A;
}

.output-menu .menu-button {
	display: inline-block;
	float: left;
}

#file-editor .CodeMirror, #file-editor .CodeMirror-gutters, #file-editor .CodeMirror-scroll {
	min-height: 100% !important;
	height: 100% !important;
	font-family: "Lucida Console", Monaco, monospace;
	line-height: 18px;
}

#file-editor .CodeMirror-gutters {
	width: 25px;
}

#toc {
	display: block;
	position: fixed;
	right: 0;
	width: 100%;
	max-width: 500px;
	top: 78px;
	bottom: 0;
	background: #eee;
	overflow: auto;
	z-index: 200;
}

#toc a {
	display: block;
	font-size: 1em;
	margin: 0;
	padding: 0.3em;
}

#toc a:hover {
	background: #c6dff7;
}

#toc a.active {
	background: #60aff8;
}
